Identities among relations for higher-dimensional rewriting systems
نویسندگان
چکیده
We generalize the notion of identities among relations, well known for presentations of groups, to presentations of n-categories by polygraphs. To each polygraph, we associate a track n-category, generalizing the notion of crossed module for groups, in order to define the natural system of identities among relations. We relate the facts that this natural system is finitely generated and that the polygraph has finite derivation type. Support – This work has been partially supported by ANR Inval project (ANR-05-BLAN-0267).
منابع مشابه
1 3 Ju l 1 99 9 Logged Rewriting Procedures with Application to Identities Among Relations
We introduce logged rewrite systems and present a variation on the Knuth-Bendix algorithm for obtaining (where possible) complete logged rewrite systems. This procedure is then applied to work of Brown and Razak Salleh, and an algorithm is developed which provides a set of generators for the module of identities among relations of a group presentation. Supported by a University of Wales, Bangor...
متن کامل. C O ] 1 3 Ju l 1 99 9 Logged Rewriting Procedures with Application to Identities Among Relations
We introduce logged rewrite systems and present a variation on the Knuth-Bendix algorithm for obtaining (where possible) complete logged rewrite systems. This procedure is then applied to work of Brown and Razak Salleh, and an algorithm is developed which provides a set of generators for the module of identities among relations of a group presentation. Supported by a University of Wales, Bangor...
متن کاملWard Identities of W∞ Symmetry and Higher Genus Amplitudes in 2D String Theory
TheWard identities of the W∞ symmetry in two dimensional string theory in the tachyon background are studied in the continuum approach. We consider amplitudes different from 2D string ones by the external leg factor and derive the recursion relations among them. The recursion relations have non-linear terms which give relations among the amplitudes defined on different genus. The solutions agre...
متن کاملDimensional Confluence Algebra of Information Space Modulo Quotient Abstraction Relations in Automated Problem Solving Paradigm
Confluence in abstract parallel category systems is established for net class-rewriting in iterative closed multilevel quotient graph structures with uncountable node arities by multi-dimensional transducer operations in topological metrics defined by alphabetically abstracting net block homomorphism. We obtain minimum prerequisites for the comprehensive connector pairs in a multitude dimension...
متن کاملHypergeometric Differential Equation and New Identities for the Coefficients of Nørlund and Bühring
The fundamental set of solutions of the generalized hypergeometric differential equation in the neighborhood of unity has been built by Nørlund in 1955. The behavior of the generalized hypergeometric function in the neighborhood of unity has been described in the beginning of 1990s by Bühring, Srivastava and Saigo. In the first part of this paper we review their results rewriting them in terms ...
متن کامل